#ifndef _CHECKPOINTER_H_
#define _CHECKPOINTER_H_
#include "Checkpoint.h"
/*Checkpointer base class.  Defines the interface that 
  a scheduler sees.  Permits implementations other than
  the PIN-based implementation*/
class Checkpointer {

public:
  Checkpointer();

};
#endif
